$\forall$$b$:$\mathbb{B}$. (0 $\leq$ b2i($b$)) \& (b2i($b$) $\leq$ 1)